Predictability in Real-time System Development (2) A Case Study
نویسندگان
چکیده
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design approach is then introduced with an adequate support for efficient and consistent design and code generation. In this paper, this design approach is illustrated by a case study of a rail-road crossing system. The development process shows that our approach is able to preserve properties not only between design descriptions at different abstraction levels, but also between the design model and the generated implementation.
منابع مشابه
Integrating Symbolic Worst-Case Execution Time Analysis with Aspect-Oriented System Development
Increasing complexity in development of real-time systems accompanied by the demand for enabling their configurability requires the integration of aspect-oriented software development with real-time system development. Since software technology for building real-time systems has to support predictability in the time domain, methods and tools for analyzing temporal behavior of the aspectoriented...
متن کاملA Simulation Approach to Evaluate Performance Indices of Fuzzy Exponential Queuing System (An M/M/C Model in a Banking Case Study)
This paper includes a simulation model built in order to predict the performance indicessuch aswaiting time by analyzing queue’s components in the real world under uncertain and subjective situation. The objective of this paper is to predict the waiting time of each customer in an M/M/C queuing model. In this regard, to enable decision makers to obtain useful results with enough knowledge on th...
متن کاملPredictability in Real-time System Development (1) Semantics Support from Development Languages
With the increasing complexity of real-time control systems, it is important to have sufficient predictability support for a development approach in order to promote the likelihood of the development success. To achieve this, the abstraction/refinement activities during the development should be performed in an efficient way. In this paper, we first briefly introduce the role of the semantics o...
متن کاملReal Time Dynamic Simulation of Power System Using Multiple Microcomputers
Recent developments in the design and manufacture of microcomputers together with improved simulation techniques make it possible to achieve the speed and accuracy required for the dynamic simulation of power systems in real time. This paper presents some experimental results and outlines new ideas on hardware architecture, mathematical algorithms and software development for this purpose. The ...
متن کاملPredictability and Performance Enhancement for Real-Time Embedded Systems by Cache-Locking
In real-time systems, cache memory poses challenge to improve both predictability and performance because of its adaptive and dynamic behavior. Recent studies indicate that for application-specific embedded systems, static cache-locking helps determining the worst case execution time (WCET) and cache-related preemption delay. In this work, we propose a static instruction cachelocking algorithm ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004